
{-# LANGUAGE RebindableSyntax, TypeOperators, QuasiQuotes, UnicodeSyntax #-}
--{-# LANGUAGE NoImplicitPrelude, TypeOperators #-}

import qualified Prelude as P

import Data.Units.Prelude
import Data.Units.SI

{-
c = 42
rr = 4 P./ 5
rr2 = P.recip 5

g = 9.81<:_m/(_s^_2)
h = 41.15<:_m
t = sqrt(2 * h/g)
v = g*t

c5 = c*5
w :: Double ::: J
w = (30<:_kg * 150<:_m * g)

rd = read "42<s>" :: Integer ::: S
rd2 = read "1<m^2 kg s^-3 A^-1>" :: Double ::: V

m1 = 5<:_kg
vi1 = 4.5<:_m/_s
m2 = 2.5<:_kg
--
vf1 = vi1/(2 * cos(30 * pi / 180))
vf2 = m1/m2*vf1
ki = (0.5 * m1 * vi1^_2) >| _J


r  = 0.8<:_m
mM = 3<:_kg
d  = 0.25<:_m
--
i = mM * (r*r)

ww :: Double ::: [unit|Rad/S|]
ww = sqrt (mM*g*d/i)
-}

_G = 6.67*10**(negate 11) <: _N*_m^_2/_kg^_2
me = 5.98*10**24 <: _kg
t = 24*60*60 <: _s
rf = _G*me*t^_2 / 4*pi^_2 

аб = 5

--[unit| Ω(os)_Ω = V/A |]

so = 5 <: _Ω
kk = аб